Mathematical constructivism - PDFSEARCH.IO - Document Search Engine

Mathematical constructivism
Results: 119

#	Item
71	Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto 2 , Helmut Schwichtenberg2 , and Monika Seisenberger1 1 2 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2011-05-22 19:06:42 Mathematical constructivism Type theory Proof theory Logic in computer science Metalogic Realizability Agda Curry–Howard correspondence MINLOG Logic Mathematical logic Mathematics
72	An Inductive Version of Nash-Williams’ Minimal-bad-sequence Argument for Higman’s Lemma Monika Seisenberger 1 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-30 15:47:08 Mathematical proofs Proof theory Mathematical constructivism Logical syntax Well-quasi-ordering Bar induction Mathematical induction Well-formed formula Constructive proof Logic Mathematics Mathematical logic
73	Window on Resources A BOOKS G IS FOR GOOGOL: A MATH ALPHABET BOOK Age 3 and up. David M. Schwartz, illus. by Add to Reading List Source URL: britton.disted.camosun.bc.ca Language: English - Date: 2011-02-28 11:02:56 Educational psychology Teaching Statistics education National Council of Teachers of Mathematics Constructivism Teacher Mathematical anxiety Singapore Math Method Education Mathematics education Education reform
74	‘Ik kan ook al bijna rekenen, ik kan mooie poppetjes tekenen.’ ‘Lieve deugd’, zei de giraﬀe, Add to Reading List Source URL: www.fwaaldijk.nl Language: English - Date: 2011-07-29 12:07:38 Mathematical constructivism Mathematical structures Topological spaces Apartness relation Metrization theorem Compact space Metric space Intuitionism Topology General topology Mathematics
75	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 40, Number 1, Pages 125–129 Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:35:49 Mathematical logic Number theorists Philosophers of mathematics Mathematical constructivism David Hilbert Foundations of mathematics Intuitionism Logic Charles Sanders Peirce Mathematics Philosophy Philosophy of mathematics
76	Pluralism and the Foundations of Mathematics Geoﬀrey Hellman and John L. Bell Add to Reading List Source URL: www.tc.umn.edu Language: English - Date: 2010-01-13 16:46:14 Mathematical constructivism Philosophy of mathematics Intuitionism Epistemology Non-classical logic Constructivism Intuitionistic logic Set theory Foundations of mathematics Logic Mathematical logic Mathematics
77	NOTIONS OF ANONYMOUS EXISTENCE ¨ TYPE THEORY IN MARTIN-LOF Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-03-31 11:37:40 Model theory Mathematical constructivism Function Lambda calculus Interpretation Type theory Universal quantification Adjoint functors Primitive recursive arithmetic Mathematics Mathematical logic Logic
78	Chapter 1 LOCALES AND TOPOSES AS SPACES Steven Vickers Add to Reading List Source URL: synrc.com Language: English - Date: 2009-06-30 10:58:00 Model theory Algebraic structures Boolean algebra Mathematical constructivism Order theory Lindenbaum–Tarski algebra Heyting algebra Interpretation Topos Mathematical logic Mathematics Logic
79	Mathematical Constructivism A Defense of Strict Finitism Add to Reading List Source URL: www.jeanpaulvanbendegem.be Language: English - Date: 2013-01-23 07:40:16 Mathematical logic Infinity Epistemology Finitism Ultrafinitism Intuitionism Constructivism Finite set Mathematical proof Mathematics Philosophy of mathematics Mathematical constructivism
80	Negative consistent axioms can be postulated without loss of canonicity Thierry Coquand, Nils Anders Danielsson, Mart´ın H¨ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-19 03:17:32 Set theory Z notation Type theory Axiom Mathematical constructivism Model theory Mathematical proof S Intuitionistic type theory Mathematical logic Logic Mathematics

UPDATE